#include "top_tb.h"

void top_tb::test() {
    reset.write(1);
    wait();
    wait();
    reset.write(0);
    wait();
    wait();
    for(int i=1; i<10; i++) {
        data.write(i);
        wait();
        wait();
    }
    sc_stop();
}

void top_tb::check(){
    cout << "@" << sc_time_stamp();
    uint64_t data_out_rd = data_out.read();
    printf(": printf Output data = %x \n", data_out_rd);
}